Derivative of cot x